logic addressの例文

• Extended IF logic addresses the closure problem, but its game-theoretical semantics is more complicated, and such logic correponds to a larger fragment of second-order logic, a proper subset of \ Delta _ 2 ^ 1 ( ).
• But if " x " is false then the value of " y " can be ignored; however the operation must return " some " truth value and there are only two choices, so the return value is the one that entails less, namely " true " . ( Relevance logic addresses this by viewing an implication with a false premise as something other than either true or false .)